Airbus A320 Braking as Predicate-Action Diagrams
نویسنده
چکیده
We use the Predicate-Action Diagrams of Lamport to express the description of the operation of the Airbus A320 braking systems contained in the Flight Crew Operating Manual. This helps identify ambiguities and incompleteness.
منابع مشابه
Analysis of a Technical Description of theAirbus A 320 Braking
We analyse the description of the operation of the Airbus A320 braking systems contained in the Flight Crew Operating Manual. We use the predicate-action diagrams of Lamport to express and to complete the description, and give reasons why such a more rigorous expression is preferable.
متن کاملAnalysing high-integrity systems - Computing & Control Engineering Journal
Computers are being used increasingly in systems where the cost of error or failure might be extremely high. Some systems depend upon computers to maintain safety or contribute to the maintenance of safety. Examples include the primary protection system for certain nuclear reactors and advanced flight control systems such as those of the A320 Airbus (often erroneously termed 'fly-by-wire' syste...
متن کاملMedico-legal investigations of the Airbus, A320 crash upon Mount Ste-Odile, France.
The authors present the medico-legal investigations and identification after the aircrash of the Airbus A320 upon the Mount Sainte-Odile (France). The identification team comprising investigators from the gendarmerie, forensic pathologists, odontologists, and scientists of the Institute from Legal Medecine rapidly retrieved and identified 85 of the 87 victims, with 17 being identified through D...
متن کاملStudy of the use of Airbus flight-deck procedures and perspectives for operational documentation
Cockpit automation is increasing with each new generation of airplane. This technological evolution has numerous effects on tasks and activities related to flying. We will focus on the use of written procedures. The study reported here deals with the way in which pilots use these written procedures. Indeed, even if everyone agrees on the validity of written procedures, their content and their u...
متن کاملCreating user manuals for use in collaborative design
computer support to guarantee the correctness (and continuing editability) of their documentation. Serious accidents have occurred with very simple manuals done by hand [1]. Our own work has found further flaws in the A320 Flight Crew Operating Manual (FCOM). User manuals are usually written by technical authors after the design of the device has been committed for production. If the manual’s r...
متن کامل